$\forall$$a$:$\mathbb{Z}$. 0 $\mid$ $a$ $\Rightarrow$ $a$ $=$ 0